Designing Robust Software Systems through Parametric Markov Chain Synthesis ˇ ska† , Simos Gerasimou∗ , Marta Kwiatkowska‡ and Nicola Paoletti§ Radu Calinescu∗ , Milan Ceˇ ∗ Department of Computer Science, U

Source URL: qav.comlab.ox.ac.uk

Science Europe Position Statement On a New Vision for More Meaningful Research Impact Assessment J uly 2017

Source URL: www.scienceeurope.org

• Knowledge
• Evaluation
• Research Excellence Framework
• Research
• Science
• Natural environment
• Impact assessment
• Social impact assessment
• Environmental impact assessment

Control-data plane intelligence trade-off in SDN Yash Sinha, Siddharth Bhatia Birla Institute of Technology and Science, Pilani, India Abstract— With the decoupling of network control and data

Source URL: www.ieee-security.org

• Computing
• Network architecture
• Emerging technologies
• Information and communications technology
• Configuration management
• Software-defined networking
• Ethernet
• OpenFlow
• Computer architecture
• Access control
• Computer network
• Network interface controller

HIGH DIMENSIONAL EXPANDERS ALEXANDER LUBOTZKY Abstract. Expander graphs have been, during the last five decades, the subject of a most fruitful interaction between pure mathematics and computer science, with influence an

Source URL: eta.impa.br

• Algebra
• Mathematics
• Spectral theory
• Geometric group theory
• Topological groups
• Algebraic topology
• Expander graph
• Kazhdan's property
• Ramanujan graph
• Simplicial complex
• Cohomology
• Spectrum

Stabilizing Floating-Point Programs Using Provenance Analysis Yijia Gu(B) and Thomas Wahl College of Computer and Information Science, Boston, USA {guyijia,wahl}@ccs.neu.edu

Source URL: www.ccs.neu.edu

• Operator theory
• Symbol
• Operator
• Computability theory

1 SoK: Towards Grounding Censorship Circumvention in Empiricism Michael Carl Tschantz∗ , Sadia Afroz∗ , Anonymous‡ , and Vern Paxson∗† ∗ International Computer Science Institute

Source URL: internet-freedom-science.org

• Computing
• Internet privacy
• Digital rights
• Proxy servers
• Internet censorship
• Internet
• Secure communication
• Great Firewall
• Internet censorship circumvention
• Telex
• Tor
• Flash proxy

Department of Computer Science INCREMENTAL RUNTIME VERIFICATION OF PROBABILISTIC SYSTEMS Vojtˇech Forejt

Source URL: www.cs.ox.ac.uk

• Dynamic programming
• Markov processes
• Stochastic control
• Markov models
• Probability
• Markov decision process
• Markov chain
• PP
• Probabilistic CTL
• Model checking

Evaluating quality of service for service level agreements Allan Clark and Stephen Gilmore Laboratory for Foundations of Computer Science, The University of Edinburgh, Edinburgh, Scotland

Source URL: www.dcs.ed.ac.uk

• Business
• Economy
• Queueing theory
• Management
• Graph theory
• Markov chain
• Service level
• Service-level agreement
• Airbag
• Statistical hypothesis testing
• Sensitivity analysis
• PEPA

Cognitive Reasoning and Trust in Human-Robot Interactions? Marta Kwiatkowska Department of Computer Science, University of Oxford, Oxford, UK Abstract. We are witnessing accelerating technological advances in autonomous

Source URL: qav.comlab.ox.ac.uk

• Temporal logic
• Artificial intelligence
• Human behavior
• Cognitive science
• Logic
• Linear temporal logic
• Computation tree logic
• Autonomous agent
• Probabilistic logic
• Trust
• Humanrobot interaction
• Practical reason

CS378, MA375T, PHY341 Homework 11 Homework 11 Introduction to Quantum Information Science

Source URL: www.scottaaronson.com

• Quantum information science
• Theoretical computer science
• Quantum mechanics
• Quantum computing
• Quantum error correction
• Stabilizer code
• Controlled NOT gate
• Qubit
• Quantum circuit
• Quantum teleportation
• Quantum information
• Entanglement-assisted stabilizer formalism